package ch.epfl.lara.matcheck;

trait Predefined { 
  
  protected val ROOT: String = "Object"  
  protected val ROOT_SYMBOL: ClassSymbol = ClassSymbol(false,ROOT,None,None)
  
  protected val INT_SET = "IType"
  protected val BOOL_SET = "BType"
  
}
